lnk{-}inv($l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$1of(2of($l$))$,\,$1of($l$)$,\,$2of(2of($l$))$\rangle$